From: Jasper St. Pierre <jstpierre@mecheye.net>
Date: Sun, 2 Sep 2012 23:51:53 +0000 (-0300)
Subject: main: Remove some cruft
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~5965
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=b257029d3e6cf9492d434a71e01f21887e81c139;p=gnome-shell.git

main: Remove some cruft

Main.hotCorners has been empty for a long, long time.

https://bugzilla.gnome.org/show_bug.cgi?id=683156
---

diff --git a/js/ui/main.js b/js/ui/main.js
index b8b891caa..3bb05c668 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -48,7 +48,6 @@ const DEFAULT_BACKGROUND_COLOR = Clutter.Color.from_pixel(0x2266bbff);
 let automountManager = null;
 let autorunManager = null;
 let panel = null;
-let hotCorners = [];
 let overview = null;
 let runDialog = null;
 let lookingGlass = null;